Um monomorfismo (ou mono), no contexto de teoria das categorias, é uma generalização do conceito de função injetiva. Uma seta ${\displaystyle h:a\rightarrow b}$ numa categoria ${\displaystyle C}$ é um monomorfismo se e somente se ${\displaystyle h\circ g=h\circ f}$ implica ${\displaystyle g=f}$ sempre que ${\displaystyle g,f:c\to a}$ são setas e ${\displaystyle c}$ é objeto de ${\displaystyle C}$. Ou seja, uma seta é mono se ela pode ser cancelada à esquerda de uma composição.

A noção dual a monomorfismo é epimorfismo.